| emsoft | participants

Naijun Zhan

Program Committees:
2019, 2020, 2021, and 2024
.

EMSOFT 2024: 24th International Conference on Embedded Software

Modeling and Analysis of the LatestTime Message Synchronization Policy in ROS

Chenhao Wu, Ruoxiang Li, Naijun Zhan, and Nan Guan

EMSOFT 2021: 21st International Conference on Embedded Software

Learning Nondeterministic Real-Time Automata

Jie An, Bohua Zhan, Naijun Zhan, and Miaomiao Zhang

EMSOFT 2020: 20th International Conference on Embedded Software

Safety Verification for Random Ordinary Differential Equations

Bai Xue, Martin Fränzle, Naijun Zhan, Sergiy Bogomolov, and Bican Xia

EMSOFT 2018: 18th International Conference on Embedded Software

The Opacity of Real-Time Automata

Lingtai Wang, Naijun Zhan, and Jie An

EMSOFT 2013: 13th International Conference on Embedded Software

Verifying Simulink Diagrams via a Hybrid Hoare Logic Prover

Liang Zou, Naijun Zhan, Shuling Wang, Martin Fränzle, and Shengchao Qin

EMSOFT 2011: 11th International Conference on Embedded Software

Computing Semi-Algebraic Invariants for Polynomial Dynamical Systems

Jiang Liu, Naijun Zhan, and Hengjun Zhao